STRATEGIES[removed]Deduction, Strategies, and Rewriting Steven Ekera , Narciso Mart´ı-Olietb , Jos´e Meseguerc , and Alberto Verdejob a

Source URL: maude.sip.ucm.es

• Mathematics
• Mathematical logic
• Lambda calculus
• Formal languages
• Maude system
• Logic programming
• Rewriting
• Combinatory logic
• Unification
• Theoretical computer science
• Logic
• Logic in computer science